Subdirect product decompositions of MV-algebras
نویسندگان
چکیده
منابع مشابه
Subdirect Decompositions of Lattice Effect Algebras
We prove a theorem about subdirect decompositions of lattice effect algebras. Further, we show how, under these decompositions, blocks, sets of sharp elements and centers of those effect algebras are decomposed. As an application we prove a statement about the existence of subadditive state on some block-finite effect algebras.
متن کاملContinuous approximations of MV-algebras with product and product residuation
Recently, MV -algebras with product have been investigated from different points of view. In particular, in [EGM01], a variety resulting from the combination of MV -algebras and product algebras (see [H98]) has been introduced. The elements of this variety are called LΠ-algebras. Even though the language of LΠ-algebras is strong enough to describe the main properties of product and of Lukasiewi...
متن کاملMV* - Algebras
In this paper we make an algebraic study of the variety of M V * –algebras introduced by C. C.Chang as an algebraic counterpart for a logic with positive and negative truth values. We build the algebraic theory of M V * –algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in –groups. The main results are a subd...
متن کاملDerivations of MV-Algebras
In his classical paper 1 , Chang invented the notion of MV-algebra in order to provide an algebraic proof of the completeness theorem of infinite valued Lukasiewicz propositional calculus. Recently, the algebraic theory of MV-algebras is intensively studied, see 2–5 . The notion of derivation, introduced from the analytic theory, is helpful to the research of structure and property in algebraic...
متن کاملContinuous approximations of MV-algebras with product and product residuation: a category-theoretic equivalence
In [9] a new class of MV -algebras with product, called LΠqalgebras, has been introduced. In these algebras, the discontinuous product residuation →π defined in [4] is replaced by a continuous approximation of it. These algebras seem to be a good compromise between the need of expressiveness and the need of continuity of connectives. Following a good tradition in many-valued logic (see e.g. [10...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 1999
ISSN: 0011-4642,1572-9141
DOI: 10.1023/a:1022472528113